<?php

function redirect($url, $t = 0) {
    if (!headers_sent()) {
        if ($t > 0) {
            header('Refresh: 5; URL=' . $url);
            echo <<<HTML
                     <p>Seras redireccionado a la pagina original.</p>
                     <p>Si no deseas esperar, <a href='$url'>pulsa aqui.</a></p>
HTML;
        }
        header("Refresh: $t; URL=$url");
    } else {
        die("No se puede redireccionar; ya se envio previamente una salida al navegador.");
    }
}
?>
